Modeling software design diversity

Design diversity has been used for many years now as a means of achieving a degree of fault tolerance in software-based systems. Whilst there is clear evidence that the approach can be expected to deliver some increase in reliability compared with a single version, there is not agreement about the extent of this. More importantly, it remains difficult to evaluate exactly how reliable a particular diverse fault-tolerant system is. This difficulty arises because assumptions of independence of failures between different versions have been shown not to be tenable: assessment of the actual level of dependence present is therefore needed, and this is hard. In this tutorial we survey the modelling issues here, with an emphasis upon the impact these have upon the problem of assessing the reliability of fault tolerant systems. The intended audience is one of designers, assessors and project managers with only a basic knowledge of probabilities, as well as reliability experts without detailed knowledge of software, who seek an introduction to the probabilistic issues in decisions about design diversity

On the Emergence of Unstable Modes in an Expanding Domain for Energy-Conserving Wave Equations

Motivated by recent work on instabilities in expanding domains in reaction-diffusion settings, we propose an analog of such mechanisms in energy-conserving wave equations. In particular, we consider a nonlinear Schr{\"o}dinger equation in a finite domain and show how the expansion or contraction of the domain, under appropriate conditions, can destabilize its originally stable solutions through the modulational instability mechanism. Using both real and Fourier spacediagnostics, we monitor and control the crossing of the instability threshold and, hence, the activation of the instability. We also consider how the manifestation of this mechanism is modified in a spatially inhomogeneous setting, namely in the presence of an external parabolic potential, which is relevant to trapped Bose-Einstein condensates

Validation of Ultrahigh Dependability for Software-Based Systems

Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software. Whenever a quantitative approach to risk is adopted, these requirements must be stated in quantitative terms, and a rigorous demonstration of their being attained is necessary. For software used in the most critical roles, such demonstrations are not usually supplied. The fact is that the dependability requirements often lie near the limit of the current state of the art, or beyond, in terms not only of the ability to satisfy them, but also, and more often, of the ability to demonstrate that they are satisfied in the individual operational products (validation). We discuss reasons why such demonstrations cannot usually be provided with the means available: reliability growth models, testing with stable reliability, structural dependability modelling, as well as more informal arguments based on good engineering practice. We state some rigorous arguments about the limits of what can be validated with each of such means. Combining evidence from these different sources would seem to raise the levels that can be validated; yet this improvement is not such as to solve the problem. It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software

Feedback Loops Between Fields and Underlying Space Curvature: an Augmented Lagrangian Approach

We demonstrate a systematic implementation of coupling between a scalar field and the geometry of the space (curve, surface, etc.) which carries the field. This naturally gives rise to a feedback mechanism between the field and the geometry. We develop a systematic model for the feedback in a general form, inspired by a specific implementation in the context of molecular dynamics (the so-called Rahman-Parrinello molecular dynamics, or RP-MD). We use a generalized Lagrangian that allows for the coupling of the space's metric tensor (the first fundamental form) to the scalar field, and add terms motivated by RP-MD. We present two implementations of the scheme: one in which the metric is only time-dependent [which gives rise to ordinary differential equation (ODE) for its temporal evolution], and one with spatio-temporal dependence [wherein the metric's evolution is governed by a partial differential equation (PDE)]. Numerical results are reported for the (1+1)-dimensional model with a nonlinearity of the sine-Gordon type.Comment: 5 pages, 3 figures, Phys. Rev. E in pres

Domain Walls in Two-Component Dynamical Lattices

We introduce domain-wall (DW) states in the bimodal discrete nonlinear Schr{\"{o}}dinger equation, in which the modes are coupled by cross phase modulation (XPM). By means of continuation from various initial patterns taken in the anti-continuum (AC) limit, we find a number of different solutions of the DW type, for which different stability scenarios are identified. In the case of strong XPM coupling, DW configurations contain a single mode at each end of the chain. The most fundamental solution of this type is found to be always stable. Another solution, which is generated by a different AC pattern, demonstrates behavior which is unusual for nonlinear dynamical lattices: it is unstable for small values of the coupling constant $C$ (which measures the ratio of the nonlinearity and coupling lengths), and becomes stable at larger $C$. Stable bound states of DWs are also found. DW configurations generated by more sophisticated AC patterns are identified as well, but they are either completely unstable, or are stable only at small values of $C$. In the case of weak XPM, a natural DW solution is the one which contains a combination of both polarizations, with the phase difference between them 0 and $\pi$ at the opposite ends of the lattice. This solution is unstable at all values of $C$, but the instability is very weak for large $C$, indicating stabilization as the continuum limit is approached. The stability of DWs is also verified by direct simulations, and the evolution of unstable DWs is simulated too; in particular, it is found that, in the weak-XPM system, the instability may give rise to a moving DW.Comment: 14 pages, 14 figures, Phys. Rev. E (in press

Dynamics of Lattice Kinks

In this paper we consider two models of soliton dynamics (the sine Gordon and the \phi^4 equations) on a 1-dimensional lattice. We are interested in particular in the behavior of their kink-like solutions inside the Peierls- Nabarro barrier and its variation as a function of the discreteness parameter. We find explicitly the asymptotic states of the system for any value of the discreteness parameter and the rates of decay of the initial data to these asymptotic states. We show that genuinely periodic solutions are possible and we identify the regimes of the discreteness parameter for which they are expected to persist. We also prove that quasiperiodic solutions cannot exist. Our results are verified by numerical simulations.Comment: 50 pages, 10 figures, LaTeX documen

Spectral Properties of Quasiparticle Excitations Induced by Magnetic Moments in Superconductors

The consequences of localized, classical magnetic moments in superconductors are explored and their effect on the spectral properties of the intragap bound states is studied. Above a critical moment, a localized quasiparticle excitation in an s-wave superconductor is spontaneously created near a magnetic impurity, inducing a zero-temperature quantum transition. In this transition, the spin quantum number of the ground state changes from zero to 1/2, while the total charge remains the same. In contrast, the spin-unpolarized ground state of a d-wave superconductor is found to be stable for any value of the magnetic moment when the normal-state energy spectrum possesses particle-hole symmetry. The effect of impurity scattering on the quasiparticle states is interpreted in the spirit of relevant symmetries of the clean superconductor. The results obtained by the non-self-consistent (T matrix) and the self-consistent mean-field approximations are compared and qualitative agreement between the two schemes is found in the regime where the coherence length is longer than the Fermi length.Comment: to appear in Phys. Rev. B55, May 1st (1997

Dynamics of trapped bright solitons in the presence of localized inhomogeneities

We examine the dynamics of a bright solitary wave in the presence of a repulsive or attractive localized ``impurity'' in Bose-Einstein condensates (BECs). We study the generation and stability of a pair of steady states in the vicinity of the impurity as the impurity strength is varied. These two new steady states, one stable and one unstable, disappear through a saddle-node bifurcation as the strength of the impurity is decreased. The dynamics of the soliton is also examined in all the cases (including cases where the soliton is offset from one of the relevant fixed points). The numerical results are corroborated by theoretical calculations which are in very good agreement with the numerical findings.Comment: 8 pages, 5 composite figures with low res (for high res pics please go to http://www.rohan.sdsu.edu/~rcarrete/ [Publications] [Publication#41

Variational Approach to the Modulational Instability

We study the modulational stability of the nonlinear Schr\"odinger equation (NLS) using a time-dependent variational approach. Within this framework, we derive ordinary differential equations (ODEs) for the time evolution of the amplitude and phase of modulational perturbations. Analyzing the ensuing ODEs, we re-derive the classical modulational instability criterion. The case (relevant to applications in optics and Bose-Einstein condensation) where the coefficients of the equation are time-dependent, is also examined

Reflections on IDEAL: What we have learnt from a unique calf cohort study

The year 2020 marks a decade since the final visit was made in the ‘Infectious Diseases of East African Livestock’ (IDEAL) project. However, data generation from samples obtained during this ambitious longitudinal study still continues. As the project launches its extensive open-access database and biobank to the scientific community, we reflect on the challenges overcome, the knowledge gained, and the advantages of such a project. We discuss the legacy of the IDEAL project and how it continues to generate evidence since being adopted by the Centre for Tropical Livestock Genetics and Health (CTLGH). We also examine the impact of the IDEAL project, from the authors perspective, for each of the stakeholders (the animal, the farmer, the consumer, the policy maker, the funding body, and the researcher and their institution) involved in the project and provide recommendations for future researchers who are interested in running longitudinal field studies.The Bill & Melinda Gates Foundation, the UK Government’s Department for International Development and the International Livestock Research Institute.http://www.elsevier.com/locate/prevetmedam2021Veterinary Tropical Disease